Introduction to mathematical logic and resolution principle
العربية| رقم الكتاب | 230495 |
|---|---|
| اسم الكتاب | Introduction to mathematical logic and resolution principle |
| اسم المؤلف | Wang - Guo-Jun |
| رقم التصنيف | 511.3 WAN |
| الطبعة | |
| مكان الكتاب | وادي الهرية |
| تاريخ النشر | 2009 |
| حالة الكتاب | |